Denotational semantics

Introduces topological methods in domain theory of denotational semantics of computer programming languages .

讨论计算机程序设计语言的Domain理论中的拓扑方法。

Denotational semantics studies the transactional behavior on the basis of mathematical models .

指称语义在数学模型的基础上对事务的整体行为进行严格的解释。

One can also study Domain theory on denotational semantics of computer programming languages by using the topological system .

它可以用来研究计算机程序语言的指称语义的Domain理论。

Operational semantics and denotational semantics are two type of formal semantics .

其中操作语义学和指称语义学是形式语义学的两大类别。

Theory of Description , Direct Denotational Semantics and Two-Dimensional Semantics

传统描述、直接指称与二维语义理论

Denotational semantics of an object-oriented distributed real-time language

一个面向对象的实时分布式语言的指称语义

Object description language and its denotational semantics

对象描述语言及其指称描述

Denotational semantics of distributed programming language

分布式程序设计语言的指称语义

Equivalence proving of operational and denotational semantics about Repeat - until statement

Repeat-until语句的操作语义与指称语义的等价性证明

Denotational semantics for code generation languages

代码生成语言的指称语义

The fixed point of continuous function is an important content in denotational semantics , which specifies the computing properties of programs .

连续函数的不动点是指称语义的一个重要内容，它刻画了程序的计算性质。

Some considerations based on duration calculus are presented when we define a new framework for VHDL denotational semantics .

在此基础上，简要介绍了作者提出的基于时段逻辑的VHDL语义的框架时对VHDL指称语义的看法。

Metric Denotational Semantics for Probabilistic Process Algebra

概率进程代数的度量指称语义

Denotational Semantics Transform from Continuation to Direct

接续到直接的指称语义转换

Denotational Semantics for Graph-Based Rules in Active Databases

主动数据库中基于图的规则的指称语义研究

The correctness and reliability of the operational semantics model were proved by Hoare logic and denotational semantics .

通过Hoare逻辑和基本指称语义对本文所定义的操作语义模型的正确性和可靠性进行了证明。

The automatic generation system , which transforms the denotational semantics of code generation languages into efficient compiler code generator , has been developed .

本文中描述了把代码生成语言的指称语义描述变换为编译程序代码生成器的一个变换系统。

In this paper , we take probabilistic event structures as our semantic model and provide a metric denotational semantics for probabilistic process algebra .

本文中，我们采用概率事件结构作为语义模型，研究了概率进程代数的度量指称语义。

A denotational semantics transform technology from continuation to direct is given based on the analysis between the two in the early research , and here continuations in different context are handled differently .

基于Monad思想推导出的接续语义函数和直接语义函数之间的关系，给出了基于规约的从接续指称语义描述形式到直接指称语义描述形式的转换技术，分别考虑了接续函数在不同情形下的处理。

A shared variable language with process creation is defined in this paper . Its structural operational semantics is described using transition systems and its denotational semantics is defined with an extension of transition trace model .

针对一个基于共享变量的带有进程创建的命令式语言，用变迁系统描述了它的结构操作语义，并用扩展的状态变迁迹模型定义了它的指称语义。

Denotational semantics describes the semantics of a programming language in afunctional way , but the first-order temporal logic expresses the semantics of a prog-ramming language in a logical way .

指称语义学是以函数的形式来表达程序的语义，一阶时态逻辑是以逻辑方式表达程序的语义。

Using syntax of IMP , the operational semantics of repeat-until loop statement is given first , then the denotational semantics of repeat-until loop statement is deduced , and finally the equivalence of them is proved in detail .

本文使用简单的命令式语言IMP的语法，首先给出了repeat-until循环语句的操作语义，然后详细推导出了其指称语义，并在此基础上详细证明了它们二者之间的语义等价性。